labelled ordered tree

[计] 带标号有序树